#include<stdio.h>
int main()
{
    //freopen("in.txt","r",stdin);
    float t;
    int n;
    scanf("%f %d",&t,&n);
    printf("%.3f\n",t/n);
    printf("%d",n*2);
}